Labeled Families in Modular Software Development
نویسندگان
چکیده
منابع مشابه
Enumerating Families of Labeled Graphs
In 1966, Rosa introduced, among others, αand β-labelings as tools to solve the isomorphic decomposition problem of the complete graph. Ten years later, Sheppard calculated the number of αand β-labeled graphs with n edges. In this paper we use an extended version of the adjacency matrix of a graph to determine the number of gracefully labeled graphs with n edges; furthermore, we also calculate t...
متن کاملModular Process Patterns Supporting an Evolutionary Software Development Process
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise and/or project we will usually integrate elements from a variety of existing process models, comprising generic standards as well as specific development methods. In this paper we propose a Process Framework which is modularly structured on the basis of the ...
متن کاملAn Automatic Development Process for Integrated Modular Avionics Software
With the ever-growing avionics functions, the modern avionics architecture is evolving from traditional federated architecture to Integrated Modular Avionics (IMA). ARINC653 is a major industry standard to support partitioning concept introduced in IMA to achieve security isolation between avionics functions with different criticalities. To decrease the complexity and improve the reliability of...
متن کاملSafety-critical Software Development for Integrated Modular Avionicson Fiet
This technical paper presents recent trends in the development of safety-critical avionics systems. It discusses the emergence of Integrated Modular Avionics (IMA) architectures and standards, and the resulting impact on the development of an ARINC 653–compliant commercial off-the-shelf (COTS) real-time operating system (RTOS).
متن کاملSafety-Critical Software Development for Integrated Modular Avionics
Many avionics systems have been successfully developed using custom hardware and software. However, in recent years, the full life-cycle costs of customized systems have forced original equipment manufacturers (OEMs) to consider the use of COTS-based systems. At the same time, there has been a noticeable migration away from federated architectures, where each individual subsystem performs a ded...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Brazilian Computer Society
سال: 1998
ISSN: 0104-6500
DOI: 10.1590/s0104-65001998000200003